Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
651	On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-05-14 11:54:52 Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
652	Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Data types Java programming language Cross-platform software Java virtual machine Java bytecode Lambda calculus Javac Type system Subtype polymorphism Computing Software Type theory
653	Helly’s Intersection Theorem The main topic of this chapter is a famous combinatorial theorem by E. Helly (1884–Let us start with a useful terminology. Definition 0.1. Let F be a family of subsets of a set X, Add to Reading List Source URL: users.mat.unimi.it Language: English - Date: 2010-05-07 05:19:24 General topology Spectral theory Convex analysis Combinatory logic Lambda calculus Logic in computer science Compact space Convex function Spectral theory of ordinary differential equations Topology Mathematics Mathematical analysis
654	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
655	1 A Tutorial on the IQL Query Language AutoMed Technical Report No. 28, Version 1.2 Alex Poulovassilis and Lucas Zamboulis, July Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-07-28 13:29:10 Lambda calculus Relational algebra Software engineering Computer science Computing Relational model List comprehension
656	2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Proof theory Models of computation Logic in computer science Symbol Lambda calculus Curry–Howard correspondence Dynamical system Theoretical computer science Computer science Mathematics
657	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
658	Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-10 08:42:01 Mathematical analysis Calculus Models of computation Lambda calculus Metric space Computable function Function Continuous function Uniform continuity Mathematics Computability theory Theory of computation
659	lo: a n e w programming notation Add to Reading List Source URL: levien.com Language: English - Date: 2010-01-16 20:25:56 Mathematical notation Functional programming Monad Big O notation Lambda calculus Classical cipher Mathematics Computer programming Software engineering
660	The Ackermann Award 2012 Thierry Coquand1 , Anuj Dawar2 , and Damian Niwiński3 1,2,3 Members of EACSL Jury of the Ackermann Award∗ Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-08-27 10:54:53 Computability theory Theory of computation Lambda calculus Logic in computer science Decision problem Combinatory logic Profinite group Computability Henk Barendregt Theoretical computer science Mathematical logic Mathematics

UPDATE